Semantic theory of truth